Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
981	Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-15 10:49:35 Model theory Automated theorem proving Predicate logic First-order logic Herbrandization Mathematical proof Isabelle Proof assistant Constructible universe Mathematics Mathematical logic Logic
982	John C. Baez Contact Information Department of Mathematics University of California Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2014-05-06 06:05:08 Quantum field theory Loop quantum gravity Higher-dimensional algebra Quantum spacetime Topological quantum field theory Spin network Gauge theory Topological order Causal sets Physics Mathematical physics Theoretical physics
983	Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette? and Alexander Krauss Institut für Informatik, Technische Universität München, Germany {blanchette,krauss}@in.tum.de Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Logic Metalogic Symbol Interpretation Structure Lambda calculus Orbifold Normal distribution Mathematics Model theory Mathematical logic
984	Fall 2008 CMPT 310: Introduction to Artificial Intelligence Instructor: Greg Mori Assignment 3: Logic Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-10-03 19:20:29 Model theory Boolean algebra Propositional calculus First-order logic If and only if Logic Mathematical logic Mathematics
985	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
986	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
987	Redirecting Proofs by Contradiction Jasmin Christian Blanchette Technische Universität München, Germany Abstract This paper presents an algorithm that redirects proofs by contradiction. The input is a refutation graph, Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-17 11:36:21 Proof theory Automated theorem proving Rules of inference Mathematical proofs Sequent Natural deduction Proof by contradiction Resolution First-order logic Logic Mathematics Mathematical logic
988	All Finite Fields Have a Prime-Power Order Morphisms, Cauchy’s Theorem, and Proof of Theorem Daniel R. Page, 2011 (Updated December 20, 2012) Morphisms are a powerful tool in proving properties of mathematical objects Add to Reading List Source URL: www.pagewizardgames.com Language: English - Date: 2014-09-02 14:47:09 Field theory Morphisms Niels Henrik Abel Finite field Abelian group Automorphism Order Field Group homomorphism Abstract algebra Algebra Group theory
989	Introduction Logic for Serious Database Folks Series by David McGoveran, Alternative Technologies "Against logic there is no armor like ignorance." – Laurence J. Peter For well over twenty years I have been asked to e Add to Reading List Source URL: www.alternativetech.com Language: English Metalogic Mathematical logic Non-classical logic Fuzzy logic David McGoveran Relational model Interpretation First-order logic Database theory Logic Philosophical logic Model theory
990	Microsoft PowerPoint - F.owens.algorithms.ppt Add to Reading List Source URL: gpgpu.org Language: English - Date: 2009-04-05 17:42:52 Mathematics Ken Batcher Graphics hardware Video cards GPGPU Merge sort Sorting network Sort Bitonic sorter Sorting algorithms Computing Order theory

UPDATE